Merge branch 'for-master' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Fri, 17 Apr 2020 22:11:28 +0000 (22:11 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Fri, 17 Apr 2020 22:11:28 +0000 (22:11 +0000)
For master

See merge request GNOME/gtk!1708


Trivial merge